Header Space Analysis: Static Checking For Networks Peyman Kazemian, Nick McKeown (Stanford University) and George Varghese (UCSD and Yahoo Labs).

Source URL: www.cs.tau.ac.il

Optimizing a Virtualized Data Center David Erickson, Brandon Heller, Shuang Yang, Jonathan Chu, Jonathan Ellithorpe, Nick McKeown, Guru Parulkar, Mendel Rosenblum

Source URL: conferences.sigcomm.org

• Software
• System software
• Computing
• Hyper-V
• Windows Server
• Virtual machine
• Virtualization
• Xen
• Load balancing
• Temporal isolation among virtual machines

1 Routers with Very Small Buffers Mihaela Enachescu∗ , Yashar Ganjali† , Ashish Goel‡ , Nick McKeown† , and Tim Roughgarden∗ ∗ Department of Computer Science, Stanford University {mihaela, tim}@cs.stanford.e

Source URL: theory.stanford.edu

• Network performance
• Transmission Control Protocol
• Throughput
• Packet loss
• Bandwidth-delay product
• Traffic flow
• Additive increase/multiplicative decrease
• FAST TCP
• TCP congestion control

The Platform Laboratory at Stanford University John Ousterhout, Sachin Katti, Christos Kozyrakis, Phil Levis, Nick McKeown, Guru Parulkar, and Mendel Rosenblum March 3, 2015 Department of Computer Science

Source URL: platformlab.stanford.edu

Performance Guarantees in Software Packet-Processors SPEAKERS: SEAN CHOI, TAL RUSAK, EYAL CIDON ADVISORS: NICK MCKEOWN AND SACHIN KATTI

Source URL: platformlab.stanford.edu

Building  Compilers  for   Reconfigurable  Switches   Lavanya  Jose,  Lisa  Yan,   Nick  McKeown,  and  George  Varghese   Research  funded  by  AT&T,  Intel,  O

Source URL: platformlab.stanford.edu

Programmable  Network  Fabrics   Nick  McKeown  and  Sachin  Ka0     Lavanya  Jose,  Lisa  Yan,  Kanthi  Nagaraj,  Dinesh   Bharadia,  Mohammad  Alizadeh  and  Ge

Source URL: platformlab.stanford.edu

Delegating Network Security with More Information {“Stanford”: [“Jad Naous”, “Ryan Stutsman”, “David Mazières”, “Nick McKeown”,], “MIT CSAIL”: [“Nickolai Zeldovich”]}

Source URL: conferences.sigcomm.org

Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks Hongyi Zeng†∗, Shidong Zhang§ , Fei Ye§ , Vimalkumar Jeyakumar†∗ Mickey Ju§ , Junda Liu§ , Nick McKeown† , Amin Vahdat§‡ † Stanfor

Source URL: eastzone.bitbucket.org

Leveraging SDN Layering to Systematically Troubleshoot Networks Brandon Heller† Colin Scott∗ Nick McKeown† Scott Shenker∗

Source URL: conferences.sigcomm.org